Quantum logic - PDFSEARCH.IO - Document Search Engine

Quantum logic
Results: 232

#	Item
151	i i Mladen Paviˇci´ c: Companion to Quantum Computation and Communication — Add to Reading List Source URL: www.wiley-vch.de Language: English - Date: 2013-03-25 07:54:23 Computability theory Theory of computation Models of computation Mathematical logic Quantum computer Turing machine Boolean algebra Algorithm Hypercomputation Theoretical computer science Mathematics Applied mathematics
152	Quantum Algebras, Systems, and Computation Mladen Pavicˇ ic´ Physics Chair, Faculty of Civil Engineering, University of Zagreb, Zagreb, Croatia. [removed] http://m3k.grad.hr/pavicic Add to Reading List Source URL: m3k.grad.hr Language: English - Date: 2010-07-15 19:55:00 Algebraic structures Algebra Algebraic logic Quantum mechanics Mathematical logic Complemented lattice Boolean algebra Quantum logic Modular lattice Mathematics Abstract algebra Lattice theory
153	On Lifting Integer Variables in Minimal Inequalities Amitabh Basu1,2 , Manoel Campelo3,4 , Michele Conforti5 , G´erard Cornu´ejols1,6,7 , Giacomo Zambelli5 November 18, 2009 Abstract This paper contributes to the theor Add to Reading List Source URL: integer.tepper.cmu.edu Language: English - Date: 2009-11-18 11:00:48 Quantum mechanics MAX-3SAT Mathematics Function Linear temporal logic
154	Computers Do Not Run on Logic Mladen Pavicˇ ic´ Physics Chair, Faculty of Civil Engineering, University of Zagreb, Zagreb, Croatia. [removed] http://m3k.grad.hr/pavicic Add to Reading List Source URL: m3k.grad.hr Language: English - Date: 2010-07-15 19:55:00 Algebraic logic Lattice theory Algebraic structures Non-classical logic Boolean algebra Quantum logic Complemented lattice Axiom Logic Mathematics Mathematical logic
155	Optimal heuristic algorithms for the image of an injective function∗ Edward A. Hirsch† Dmitry Itsykson† Valeria Nikolaenko‡ Add to Reading List Source URL: logic.pdmi.ras.ru Language: English - Date: 2011-08-01 04:42:41 Complexity classes Analysis of algorithms Quantum complexity theory Probabilistic complexity theory Randomized algorithm NP PP Algorithm Time complexity Theoretical computer science Computational complexity theory Applied mathematics
156	LETTERS PUBLISHED ONLINE: 6 APRIL 2014 \| DOI: [removed]NNANO[removed]Universal computing by DNA origami robots in a living animal Yaniv Amir1†, Eldad Ben-Ishay1†, Daniel Levner2, Shmulik Ittah1, Almogit Abu-Horowitz1 Add to Reading List Source URL: life-sciences.biu.ac.il Language: English - Date: 2014-04-08 02:13:35 Theoretical computer science Quantum information science Logic Algebraic logic Adder Computer arithmetic XOR gate Controlled NOT gate Robot Logic gates Abstract algebra Mathematics
157	A logical basis for quantum evolution and entanglement Richard F. Blute1 , Alessio Guglielmi2 , Ivan T. Ivanov3 , Prakash Panangaden4 , and Lutz Straßburger5 1 Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2013-09-18 14:19:30 Proof theory Non-classical logic Logic in computer science Deduction Propositional calculus Linear logic Entailment Directed acyclic graph Curry–Howard correspondence Logic Mathematical logic Mathematics
158	A Model of the Quantum-Classical and Mind-Brain Connections, and of the Role of The Quantum Zeno Effect in the Physical Implementation of Conscious Intent. Henry P. Stapp Theoretical Physics Group Lawrence Berkeley Natio Add to Reading List Source URL: www-physics.lbl.gov Language: English - Date: 2008-02-21 16:37:35 Density matrix Quantum decoherence Coherent states Quantum state Quantum logic Quantum operation Physics Quantum mechanics Interpretations of quantum mechanics
159	Remarks on Griffiths’ “Consistent Quantum Theory”. Griffiths considers quantum theory from the point of view of “logic”, rather than on the basis of “measurements and actual knowledge”. The mathematical Add to Reading List Source URL: www-physics.lbl.gov Language: English - Date: 2007-03-31 06:31:25 Interpretations of quantum mechanics Consistent histories Copenhagen interpretation Quantum decoherence Measurement problem Introduction to quantum mechanics Wave function collapse Measurement in quantum mechanics Quantum entanglement Physics Quantum mechanics Quantum measurement
160	PhD position in quantum technologies with trapped ions: Microwave quantum logic, University of Sussex, Brighton, UK A 3.5 year PhD position is available in the Ion Quantum Technology Group in the Department of Physics & Add to Reading List Source URL: www.sussex.ac.uk Language: English - Date: 2014-06-17 12:14:08 Quantum information science Information theory Quantum computer Quantum cryptography Quantum information Ion trap Electron Quantum algorithm Trapped ion quantum computer Theoretical computer science Physics Applied mathematics

UPDATE